Characterizing the complex numbers in the context quantum information theory via dagger-compact categories:
Jamie Vicary: Categorical Properties of The Complex Numbers, Electronic Notes in Theoretical Computer Science 270 2 (2011) 163-189 [doi:10.1016/j.entcs.2011.01.030]
Jamie Vicary: Completeness of dagger-categories and the complex numbers, J. Math. Phys. 52 (2011) 082104 [arXiv:0807.2927, doi:10.1063/1.3549117]
On quantum measurement formulated in quantum information theory via dagger-compact categories in terms of Frobenius algebras:
On quantum computation via quantum information theory in terms of dagger-compact categories:
On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories (associative n-categories):
On associative n-categories and their formalization in proof assistants (cf.: Globular, homotopy.io):
David Reutter, Jamie Vicary, High-level methods for homotopy construction in associative -categories, LICS ‘19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer ScienceJune 62 (2019) 1–13 [arXiv:1902.03831, doi:10.1109/LICS52264.2021.9470575]
Lukas Heidemann, David Reutter, Jamie Vicary, Zigzag normalisation for associative -categories, Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) [arXiv:2205.08952, doi:10.1145/3531130.3533352]
On monoidal category-theory with an eye towards quantum information theory in terms of dagger-compact categories and quantum computation:
Chris Heunen, Jamie Vicary, Categories for Quantum Theory, Oxford University Press 2019 [ISBN:9780198739616]
based on:
Chris Heunen, Jamie Vicary, Lectures on categorical quantum mechanics (2012) [pdf, pdf]
On weak -categories via computads construed as inductive types:
Last revised on February 25, 2025 at 16:16:06. See the history of this page for a list of all contributions to it.